first-order logic أمثلة على

• Second-order logic extends first-order logic by adding the latter type of quantification.
  يعتبر بمنطق الرتبة الثانية تمديد لمنطق الرتبة الأولى وذلك بإضافة القياس على المجموعات.
• First-order logic adds quantifiers and predicates, and can express facts about objects, their properties, and their relations with each other.
  المنطق الأولى يسمح أيضا باستخدام الكلمات الدالة على الكمية والخبر، ويمكنه التعبير عن حقائق الأشياء، وخواصهم، وعلاقاتهم مع بعضهم البعض.